Connned Types
نویسندگان
چکیده
Sharing and transfer of object references is diicult to control in object-oriented languages. Uncon-strained sharing poses serious problems for writing secure components in object-oriented languages. In this paper, we present a set of inexpensive syntactic constraints that strengthen encapsulation in object-oriented programs and facilitate the implementation of secure systems. We introduce two mechanisms: connned types to impose static scoping on dynamic object references and anonymous methods which do not reveal the identity of the current instance (this). Connned types protect objects from use by untrusted code, while anonymous methods allow standard classes to be reused from connned classes. We have implemented a veriier which performs a modular analysis of Java programs and provides a static guarantee that connnement is respected. We present security related programming examples.
منابع مشابه
Su(mjn) Supersymmetric Calogero-sutherland Model Connned in Harmonic Potential Typeset Using Revtex
In this work, we study a continuous quantum system of a mixture of bosons and fermions with the supersymmetry SU(mjn). The particles are connned in a harmonic well and interact with each other through the 1=r 2 interaction. An eigenstate of the hamiltonian is constructed explicitly for the most general SU(mjn) case and its energy is given explicitly. It is argued that this eigenstate is the gro...
متن کاملStuctural and Dynamic Properties of Hexadecane Lubricants under Shear Flow in a Connned Geometry
Using shear dynamics simulations we investigated the structure and dynamics of hexadecane (n-C 16 H 34) lubricant lms connned between two solid surfaces (Fe 2 O 3) covered with a self-assembled monolayer of wear inhibitors dithiophosphate molecules DTP = S 2 P(OR) 2 with R = iPr, iBu, and Ph]. We found signiicant density oscillations in the lubricant lms, especially near the top and bottom boun...
متن کاملPhysical design for testability for bridges in CMOS circuits
Present research in design for testability has largely been connned to the logic level. In this paper we present directions for research in design for testability at the layout or physical design level. These are illustrated for bridge faults in circuits consisting of CMOS standard cells.
متن کاملA Positive Finite - Di erence Advection Scheme
1 Abstract. This paper examines a class of explicit nite-diierence advection schemes derived along the method of lines. An important application eld is large-scale atmospheric transport. The paper therefore focuses on the demand of positivity. For the spatial discretization, attention is connned to conservative schemes using 5 points per direction. The 4-th order central scheme and the family o...
متن کامل